Constraint programming - PDFSEARCH.IO - Document Search Engine

Constraint programming
Results: 1169

#	Item
971	Featherweight OCL A study for the consistent semantics of OCL 2.3 in HOL Achim D. Brucker Burkhart Wolff Add to Reading List Source URL: www.brucker.ch Language: English - Date: 2013-01-12 07:47:16 Models of computation Model theory Unified Modeling Language Object Constraint Language Programming language semantics Null Denotational semantics ECO Statistical hypothesis testing Theoretical computer science Logic Mathematical logic
972	Formulations and Reformulations in Integer Programming Michael Trick Tepper School of Business, Carnegie Mellon, Pittsburgh, PA USA, [removed]removed]? Add to Reading List Source URL: mat.gsia.cmu.edu Language: English - Date: 2010-07-13 14:53:47 Constraint programming Applied mathematics Mathematics Linear programming Duality Relaxation Local consistency Mathematical optimization Operations research Convex optimization
973	International Workshop on Functional and (Constraint) Logic Programming (WFLP[removed]Kiel, Germany, September 13-15, 2001 CALL FOR PAPERS Program Committee Slim Abdennadher Add to Reading List Source URL: www.informatik.uni-kiel.de Language: English - Date: 2001-05-16 04:24:09 Computing Declarative programming Logic programming Constraint programming Deductive database Programming paradigms Software engineering Computer programming
974	Report on the Aachen OCL Meeting Achim D. Brucker, Dan Chiorean, Tony Clark, Birgit Demuth, Martin Gogolla, Dimitri Plotnikov, Bernhard Rumpe, Edward D. Willink, and Burkhart Wolff Abstract. As a continuation of the OCL Add to Reading List Source URL: www.brucker.ch Language: English - Date: 2013-12-01 10:30:12 Software ECO KeY Programming language Type system C++ Object Constraint Language Software engineering Unified Modeling Language Computing
975	The Timetable Constrained Distance Minimization Problem Rasmus V. Rasmussen1 and Michael A. Trick2 1 Department of Operations Research, University of Aarhus, Ny Munkegade, Building 1530, 8000 Aarhus C, Denmark Add to Reading List Source URL: mat.gsia.cmu.edu Language: English - Date: 2007-11-25 18:03:30 Theoretical computer science Applied mathematics Linear programming Travelling salesman problem Constraint programming Computational complexity theory Relaxation Constraint Candidate solution Mathematical optimization Operations research Mathematics
976	White Paper Network Optimization: Don’t Fall Into the “Single Best Answer” Trap Custom modeling offers maximum flexibility to account for any scenario, rule or constraint in choosing the optimal distribution Add to Reading List Source URL: www.forte-industries.com Language: English - Date: 2012-09-19 08:04:04 Mathematical optimization Applied mathematics Science Management Mathematical modeling Linear programming Infrastructure optimization Algebraic modeling language Supply chain management Operations research Business Computer algebra systems
977	Round robin scheduling - a survey Rasmus V. Rasmussen and Michael A. Trick Department of Operations Research, University of Aarhus, Ny Munkegade, Building 1530, 8000 Aarhus C, Denmark Tepper School of Business, Carnegie Add to Reading List Source URL: mat.gsia.cmu.edu Language: English - Date: 2007-05-28 17:21:50 Round-robin tournament Mathematical optimization Tournament Decomposition method Graph factorization Computing Mathematics Business Constraint programming Sports league Scheduling
978	MICHAEL A. TRICK Harry B. and James H. Higgins Professor of Operations Research Senior Associate Dean, Education Tepper School of Business Carnegie Mellon University Pittsburgh, PA 15213 Add to Reading List Source URL: mat.gsia.cmu.edu Language: English - Date: 2014-05-12 16:07:27 Theoretical computer science Linear programming Mathematical optimization COIN-OR Combinatorial optimization Constraint programming Guided Local Search Branch and price DIMACS Operations research Mathematics Applied mathematics
979	A Hybrid Diagnosis Approach Combining Black-Box and White-Box Reasoning Mingmin Chen1 , Shizhuo Yu1 , Nico Franz2 , Shawn Bowers3 , and Bertram Lud¨ascher1 1 Dept. of Computer Science, University of California, Davis, Add to Reading List Source URL: taxonbytes.org Language: English - Date: 2014-07-01 16:19:30 Computing Computer programming Programming paradigms Constraint satisfaction problem Answer set programming Algorithm Association rule learning Datalog Constraint programming Software engineering Logic programming
980	S.O.D.A. Simple Object Database Access - design documentation v. (unknown) September 20, 2002 2 Add to Reading List Source URL: sodaquery.sourceforge.net Language: English - Date: 2002-09-19 19:41:49 Object database Software engineering Computer programming Computing Constraint programming Constraint Mathematical optimization

UPDATE